Перевод: с английского на русский

с русского на английский

Non Monotonic

См. также в других словарях:

  • Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia

  • Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia

  • Monotonic function — Monotonicity redirects here. For information on monotonicity as it pertains to voting systems, see monotonicity criterion. Monotonic redirects here. For other uses, see Monotone (disambiguation). Figure 1. A monotonically increasing function (it… …   Wikipedia

  • Non-increasing sequence — In mathematics a non increasing sequence is a type sequence, an ordered list of objects, with an additional property on the values of its items. The property of being non increasing is a local property in that if all adjacent items in the… …   Wikipedia

  • Logique non monotone — Une logique non monotone est une logique formelle dont la relation de conséquence n est pas monotone. De nombreuses logiques formelles sont monotone, ce qui signifie qu ajouter un fait à un ensemble de règles n enlève pas de déductions de cet… …   Wikipédia en Français

  • Rate-monotonic Scheduling — Algorithmes d ordonnancement EDF • Rate monotonic • Round robin LIFO • FIFO Le rate monotonic scheduling est un algorithme d ordonnancement …   Wikipédia en Français

  • Rate-monotonic scheduling — In computer science, rate monotonic scheduling [citation|first1=C. L.|last1=Liu|authorlink1=Chung Laung Liu|first2=J.|last2=Layland|title=Scheduling algorithms for multiprogramming in a hard real time environment|journal=Journal of the ACM|volume …   Wikipedia

  • Rate-monotonic scheduling — L ordonnancement à taux monotone (en anglais, rate monotonic scheduling) est un algorithme d ordonnancement temps réel en ligne à priorité constante. Il attribue la priorité la plus forte à la tâche qui possède la plus petite période. RMS est… …   Wikipédia en Français

  • Deadline-monotonic scheduling — Deadline monotonic priority assignment is a priority assignment policy used with fixed priority pre emptive scheduling. With deadline monotonic priority assignment, tasks are assigned priorities according to their deadlines; the task with the… …   Wikipedia

  • Monotonicity criterion — This article is about a voting system criterion. See monotonic function for a mathematical notion. The monotonicity criterion is a voting system criterion used to analyze both single and multiple winner voting systems. A voting system is… …   Wikipedia

  • Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»